As formigas são insetos pertencentes à família Formicidae da ordem Hymenoptera. São insetos particularmente populares por serem muito comuns e tidos como altamente organizados. De fato, figuram entre os animais que atingiram um grau de organização biológica chamado de eusocialidade. Todas as formigas são insetos eusociais, assim como diversos outros himenópteros como algumas vespas e abelhas. São descritas cerca de 18 000 espécies distribuídas por 334 gêneros em 17 subfamílias. Formigas podem ser encontradas por todas as regiões do planeta, exceto nos polos. As formigas podem ser consideradas como o grupo de animais de maior sucesso ecológico, considerando-se que representam de 15% a 20% de toda a biomassa animal vivente. De fato, estima-se que o peso de todas as formigas do planeta supera o peso de toda a humanidade. Assim, estima-se que existam 10¹⁶ formigas (dez quatrilhões) na Terra.

O estudo das formigas denomina-se de Mirmecologia sendo uma área especializada de estudos em que o Brasil tem uma atuação de grande destaque científico internacional.

Acredita-se que o surgimento das formigas na Terra tenha se dado durante o período Cretáceo (há cerca de 140 milhões de anos), passando por um grande evento de diversificação durante o período Jurássico com o aparecimento de linhagens de plantas com flores.